#include <stdio.h>
int main() {
	float a = 10000 / 3.0;
	printf("%f\n", a);
	return 0;

}